- LNCS98
- -D. Bjorner/0. N. Öst: Towards a Formal Description of Ada, Springer-Verlag 1980
Acronyms von A bis Z. 2013.
LNCS98
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS98 — D. Bjorner/0. N. Öst: Towards a Formal Description of Ada, Springer Verlag 1980 … Acronyms
Proof-Carrying Code — (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application s executable code. The host system can compare the conclusions of the proof to its own security… … Wikipedia
